Lampiran A10 MATHEMATICAL SCIENCES, INFORMATION AND COMMUNICATION TECHNOLOGY RESEARCH CLUSTER Head: PROF. DATO’ DR. KAMEL ARRIFIN MOHD ATAN Leading PTJ: Institute for Mathematical Research, Universiti Putra Malaysia,

Source URL: www.tncpi.upm.edu.my

• Mathematics
• Mathematical sciences
• Computer science
• Computational mathematics
• Computational science
• Cryptography
• Bioinformatics
• UP Diliman Department of Computer Science
• Applied mathematics
• Science
• Formal sciences

Variability in Viking ion and electric field observations detected by a wavelet filtering technique L. Liszka Swedish Institute of Space Physics, Umeå Division, Sörfors, Sweden M. Øieroset1 and B. Hultqvist2

Source URL: www.umea.irf.se

• Functional analysis
• Wavelet
• Digital signal processing
• Integral transforms
• Multivariate statistics
• Wavelets
• Morlet wavelet
• Principal component analysis
• Time series
• Mathematical analysis
• Statistics
• Mathematics

Faculty of Science University of Zagreb 1 On

Source URL: www.pmf.unizg.hr

• Mathematics
• Science and technology in Pakistan
• Academia
• Centre for High Energy Physics
• Institute of Space and Planetary Astrophysics
• Education
• Applied mathematics
• Natural Sciences

Kodkod for Alloy Users Emina Torlak and Greg Dennis Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory Cambridge, MA 02139 {emina,

Source URL: homes.cs.washington.edu

• NP-complete problems
• Alloy Analyzer
• Massachusetts Institute of Technology
• Recreational mathematics
• Alloy
• N1 road
• N postcode area
• Sudoku
• Boolean satisfiability problem
• Theoretical computer science
• Mathematics
• Formal methods

Preventing Arithmetic Overflows in Alloy Aleksandar Milicevic and Daniel Jackson Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {aleks, dnj}@csail.mit.edu

Source URL: people.csail.mit.edu

• Semantics
• Boolean algebra
• Predicate logic
• Propositional calculus
• FO
• Predicate
• Quantification
• Interpretation
• Negation
• Logic
• Mathematical logic
• Mathematics

Approaching the Shannon Limit: A Progress Report Robert J. McEliece California Institute of Technology +

Source URL: www.systems.caltech.edu

• Telecommunications engineering
• Discrete mathematics
• Convolutional code
• Reed–Solomon error correction
• Hamming code
• Hamming
• Bit error rate
• Noisy-channel coding theorem
• Binary symmetric channel
• Coding theory
• Error detection and correction
• Information theory

DAVID G. MEYER EDUCATION • Ph.D. 1987, Electrical Engineering, Stanford University • M.S. 1985, Electrical Engineering, Stanford University • M.S. 1982, Mathematics, University of Wyoming

Source URL: ecee.colorado.edu

An Institute of Physics report | JulyMind the Gap Mathematics and the transition from A-levels to physics and engineering degrees Appendix to the report prepared for the Institute of Physics by EdComs – full met

Source URL: www.iop.org

• Classe préparatoire aux grandes écoles
• Differential equation
• Pakistani Muslims
• Engineering
• Pakistani people
• MIT Physics Department
• Cambridge Mathematical Tripos
• Mathematics
• Institute of Physics
• Physics

Complementary balanced words over an arbitrary finite alphabet Aviezri S. Fraenkel∗ May 23, 2005 Department of Computer Science and Applied Mathematics Weizmann Institute of Science

Source URL: www.wisdom.weizmann.ac.il

• Curry–Howard correspondence
• Beatty sequence
• Mathematics
• Combinatorics on words
• Sturmian word

MASSACHUSETTS INSTITUTE OF TECHNOLOGY ARTIFICIAL INTELLIGENCE LABORATORY A.I. Technical Report NoMarch 1993

Source URL: repository.readscheme.org

• Linear
• Graph
• Nonlinear system
• Mathematical optimization
• Regression analysis
• Linear programming
• Mathematics
• Operations research
• Elementary algebra